Bases tensorielles de Bernstein et solveurs
نویسندگان
چکیده
Tensorial Bernstein bases can be used to compute sharp ranges of the values of polynomials over a box, and to solve systems of polynomial equations in Computer Graphics, Geometric Modelling, Geometric Constraints Solving. Two kinds of solvers are presented. The first is classical, and applies to small systems, up to 6 or 7 unknowns. The second is new and applies to systems of arbitrary size. It requires a new mathematical object, the Bernstein polytope. MOTS-CLÉS : intervalle, encadrement, bases de Bernstein, contraintes géométriques, systèmes d’équations, solveur, bissection, polynôme univarié, polynôme multivarié.
منابع مشابه
Acquisition des contraintes ouvertes par apprentissage de solveurs
Résumé : Nous présentons une technique d’apprentissage d’un objet très particulier qui est un solveur de contraintes. Étant donné un sous-ensemble de solutions et un autre sous-ensemble de non-solutions pour une contrainte, nous cherchons une représentation de la contrainte entière sous la forme d’un solveur. Un solveur permet de distinguer les solutions des non-solutions, et ainsi il effectue ...
متن کاملRecherche coopérative et Nogood Recording
RÉSUMÉ. Dans le cadre du problème de satisfaction de contraintes, nous proposons un nouveau schéma de recherche parallèle coopérative. La coopération est réalisée en échangeant des nogoods (instanciations qui ne peuvent être étendues en une solution). Nous associons un processus à chaque solveur et nous introduisons un gestionnaire de nogoods, afin de réguler les échanges de nogoods. Chaque sol...
متن کاملMultiarray Signal Processing: Tensor decomposition meets compressed sensing
We discuss how recently discovered techniques and tools from compressed sensing can be used in tensor decompositions, with a view towards modeling signals from multiple arrays of multiple sensors. We show that with appropriate bounds on a measure of separation between radiating sources called coherence, one could always guarantee the existence and uniqueness of a best rank-r approximation of th...
متن کاملCohérences Locales Paramétrées ∗
Les solveurs de contraintes maintiennent uniformément le même niveau de cohérence locale (généralement la cohérence d’arc) indépendamment de l’instance du problème à résoudre. Nous proposons le concept de cohérence locale paramétrée, une approche originale qui permet d’ajuster le niveau de cohérence locale en fonction de l’instance du problème à résoudre et en fonction de la partie du problème ...
متن کاملCHR modulaire avec ask et tell
Dans ce papier, nous introduisons une version modulaire du langage Constraint Handling Rules (CHR), appelé CHRat pour CHR modulaire avec ask et tell. Toute contrainte définie dans un composant CHRat peut être réutilisée à la fois dans les règles et les gardes d’un autre composant CHRat pour définir de nouveaux solveurs de contraintes. Contrairement aux travaux précédents sur la modularité de CH...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Technique et Science Informatiques
دوره 29 شماره
صفحات -
تاریخ انتشار 2010